61. Constraints in computational logics : theory and applications ; International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 ; revised lectures
پدیدآورنده: Hubert Comon, Claude Marche, Ralf Treinen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Constraint programming )Computer science(,، Logic programming
رده :
QA
76
.
L28
Vol
.
2002
62. Context in computing :
پدیدآورنده: Patrick Brézillon, Avelino J. Gonzalez, editors ; foreword by George A. Papadopoulos
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer simulation.
رده :
QA76
.
9
.
C65
63. Data Mining and Constraint Programming :
پدیدآورنده: / edited by Christian Bessiere ....[et al.]
کتابخانه: كتابخانه مركزی دانشگاه علوم پزشكی اصفهان (اصفهان)
موضوع: Computer science ,Algorithms,Database management,Data mining,Artificial intelligence,Computer simulation
رده :
QA76
.
9
.
D3
2016
64. Decision diagrams for optimization
پدیدآورنده: Bergman, David
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Combinatorial optimization,، Computer science,، Operations research,، Decision making
رده :
QA
76
.
9
.
A43
.
T733
2016
65. Decision making under contraints
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Constraint programming (Computer science) ; Congresses. ;
66. Declarative programming and knowledge management :
پدیدآورنده: edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.
رده :
QA76
.
615
67. Deep learning :
پدیدآورنده: Murad Khan, Bilal Jan, Haleem Farman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Big data.,Machine learning.,Big data.,Machine learning.
رده :
Q325
.
5
.
K43
2019
68. Distributed Applications and Interoperable Systems II :
پدیدآورنده: edited by Lea Kutvonen, Hartmut König, Martti Tienari.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Multimedia systems.,Software engineering.
رده :
TK7895
.
M5
E358
1999
69. Distributed Environments :
پدیدآورنده: edited by Yutaka Ohno, Toshiko Matsuda.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.
رده :
QA76
.
76
.
D47
E358
1991
70. Distributed constraint logic programming
پدیدآورنده: Leung, Ho-Fung.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
رده :
QA
76
.
63
.
L48
1993
71. Distributed constraint logic programming
پدیدآورنده: Leung, Ho-Fung.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(
رده :
QA
76
.
63
.
L48
1993
72. Distributed software agents and applications :
پدیدآورنده: John W. Perram, Jean-Pierre Müller (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Distributed artificial intelligence -- Congresses.,Distributed artificial intelligence -- Industrial applications -- Congresses.,Intelligence artificielle répartie -- Congrès.
73. Efficient solving of large arithmetic constraint systems with complex Boolean structure :
پدیدآورنده: Christian Herde ; With a foreword by Martin Fränzle.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Informatique.
رده :
QA76
.
9
.
A96
H47
2011
74. Essentials of constraint programming
پدیدآورنده: Frیhwirth, Thom
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Constraint programming )Computer science(
رده :
QA
76
.
612
.
F78
2003
75. Essentials of constraint programming /
پدیدآورنده: Thom Frühwirth, Slim Abdennadher
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Constraint programming (Computer science)
رده :
QA76
.
612
.
F78
2003
76. Evolutionary Multi-Criterion Optimization.
پدیدآورنده: Eckart Zitzler
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
77. Formal Methods and Software Engineering :
پدیدآورنده: Toshiaki Aoki ... (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Fehlertoleranz.,Formale Methode.,Model Checking.
رده :
QA76
.
9
.
F67
T674
2012
78. Frontiers of combining systems :
پدیدآورنده: Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
F76
2013
79. Functional and Constraint Logic Programming
پدیدآورنده: / Herbert Kuchen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
80. Functional and Constraint Logic Programming
پدیدآورنده: / oلJulio Mari
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
